Lecture B.8: Verifying Computation In Sub-Linear Time